گويند قدرت عبارت است از بودن فاعل « بحيث ان شاء فعل وان لم يشاء لم يفعل » . وچون اين قضيّه شرطيّه است وقضيّه شرطيّه نه مقتضى وضع مقدّم است نه رفع تالي ، بلكه ممكن است استثناء أحدهما بعينه . پس در اين قضية مىتوان گفت « لكنّه شاء وفعل أزلا » . پس ترك واقع نباشد . ولكن چون به حيثيتي است كه مصداق اين قضيّه است قادر باشد . وچون قدرت بتفسير أوّل را حكما نفى كرده‌اند متكلّمين به آنها نسبت داده‌اند انكار قدرت حق را وگويند حكما قائلند بايجاب حق يعنى صفت ايجاد وخلق لازم ذات اوست وتخلّف‌ناپذير مثل لزوم ساير صفات كماليّه ، وغافلند از اين كه لزوم فعل مستلزم انكار قدرت وايجاب نيست ، بلكه قادر است بتفسير ثاني . فمقدّم الشرطيّة الأولى واجب التحقق صدقه ومقدّم الثّانية ممتنع الصّدق وكلتا الشّرطيّتين صادقتان في حقّ الباري سبحانه . شرطيّهء أولى عبارت است از « ان شاء فعل » . ومقدّم أو « ان شاء » است وچون مشيّت حق واجب است از براي ذات وانفكاكش از وى جائز نيست أزلا وابدا پس واجب الصّدق باشد . يعنى هميشه خواسته است پس هميشه ايجاد كرده وفاعل بوده است . وشرطيّه ثانيه عبارت است از « ان لم يشاء لم يفعل » ومقدّم وى « ان لم يشاء » وچون ترك مشيّت بر أو تعالى محال است ممتنع الصّدق است وشرطيّتش با هم بر حق تعالى صادقند زيرا كه أو به حيثيّتى است كه اگر خواهند كند واگر نخواهند نكند با آنكه أزلا خواسته وكرده است . وامّا الصّوفيّة فيثبتون له سبحانه تعالى إرادة زائدة على الذّات والعلم بالنظام الأكمل . بايد دانست كه مراد از اين زيادتى بحسب خارج نيست ، چنانچه مذهب اشاعره است ، ومستلزم قبائحى . بلكه زيادتى بحسب مفهوم وتعقّل است . وظاهر است كه مفهوم قدرت كه بفارسى توانائى است غير از مفهوم ذات وساير صفات مانند علم است كه بمعنى دانائى است . واختيار في ايجاد العالم :